1. Formal verification :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Electronic circuits-- Testing,Integrated circuits-- Very large scale integration-- Design and construction,Verilog (Computer hardware description language)

رده :
TK7867